Formal proofs of operator identities by a single formal computation

A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators can be added or composed. Algebraically, identities can be modelled by noncommutative polynomials and such a formal computation proves that the polynomial corresponding to the new identity lies in the ideal generated by the polynomials corresponding to the known identities. In order to prove an operator identity, however, just proving membership of the polynomial in the ideal is not enough, since the ring of noncommutative polynomials ignores domains and codomains. We show that it suffices to additionally verify compatibility of this polynomial and of the generators of the ideal with the labelled quiver that encodes which polynomials can be realized as linear operators. Then, for every consistent representation of such a quiver in a linear category, there exists a computation in the category that proves the corresponding instance of the identity. Moreover, by assigning the same label to several edges of the quiver, the algebraic framework developed allows to model different versions of an operator by the same indeterminate in the noncommutative polynomials.     

Crosslinked poly(ethylene oxide) containing siloxanes fabricated through thiol‐ene photochemistry

Homogenous amphiphilic crosslinked polymer films comprising of poly(ethylene oxide) and polysiloxane were synthesized utilizing thiol‐ene “ click ” photochemistry. A systematic variation in polymer composition was Carried out to obtain high quality films with varied amount of siloxane and poly(ethylene oxide). These films showed improved gas separation performance with high gas permeabilities with good CO₂/N₂ selectivity. Furthermore, the resulting films were also tested for its biocompatibility, as a carrier media which allow human adult mesenchymal stem cells to retain their capacity for osteoblastic differentiation after transplantation. The obtained crosslinked films were characterized using differential scanning calorimetry, dynamic mechanical analysis, thermogravimetric analysis, FTIR, Raman‐IR , and small angle X‐ray scattering. The synthesis ease and commercial availability of the starting materials suggests that these new crosslinked polymer networks could find applications in wide range of applications. © 2015 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2015 , 53, 1548–1557     

Preparation and Characterization of Activated Carbon from Microwave and Conventional Heated Almond Shells Using Phosphoric Acid Activation

Activated carbon production from almond shells using phosphoric acid activation agent was achieved by applying both conventional heating and microwave heating in succession. The morphology and surface properties of activated carbon were studied using thermogravimetric and differential gravimetric analysis, Fourier-transform infrared spectroscopy, scanning electron microscopy, and Brunauer–Emmett–Teller analysis. A surface area of 1128 m²/g was achieved by optimizing the microwave power (500?W), microwave application time (15?minutes), conventional heating time (45?minutes), conventional heating temperature (500?°C), and the phosphoric acid:sample ratio (0.7:1). An adsorption capacity of methylene blue of 148?mg/g and an iodine value of 791?mg/g was obtained for the prepared activated carbon.     

不等式约束条件下回归模型的参数估计及检验

本文研究了具有不等式约束条件的回归模型的参数估计，给出了检验的统计量和一个实例．     

Generalization of Murty's direct algorithm to linear and convex quadratic programming

Murty's algorithm for the linear complementarity problem is generalized to solve the optimality conditions for linear and convex quadratic programming problems with both equality and inequality constraints. An implementation is suggested which provides both efficiency and tight error control. Numerical experiments as well as field tests in various applications show favorable results.The author thanks K. G. Murty for his encouragement and helpful comments.     

模糊线性回归模型的约束最小二乘估计

自Tanaka等1982年提出模糊回归概念以来,该问题已得到广泛的研究。作为主要估计方法之一的模糊最小二乘估计以其与统计最小二乘估计的密切联系更受到人们的重视。本文依据适当定义的两个模糊数之间的距离,提出了模糊线性回归模型的一个约束最小二乘估计方法,该方法不仅能使估计的模糊参数的宽度具有非负性而且估计的模糊参数的中心线与传统的最小二乘估计相一致。最后,通过数值例子说明了所提方法的具体应用。     

Scanning tunnelling microscope studies of growth of RuO2（110） thin layer on Ru（0001）

This paper reports that the growth of RuO_x(110) thin layer growth on Ru(0001) has been investigated by means of scanning tunnelling microscope (STM). The STM images showed a domain structure with three rotational domains of RuO_x(110) rotated by an angle of 120℃. The as-grown RuO_x(110) thin layer is expanded from the bulk-truncated RuO_x(110) due to the large mismatch between RuO_x(110) and the Ru(0001) substrate. The results also indicate that growth of RuO_x(110) thin layer on the Ru(0001) substrate by oxidation tends first to formation of the Ru-O (oxygen) chains in the [001] direction of RuO_x(110).     

冻干溶液的低温显微研究与热分析

利用低温显微系统研究了叔丁醇水溶液降温时的晶体形态,并利用差示扫描量热法(DSC)研究了溶液的反玻璃化结晶。低温显微实验表明:叔丁醇／水溶液结晶形状、大小与叔丁醇的浓度有关,浓度为10％时形成粗大的针状结晶, 有利于升华速率的提高。DSC实验表明:10％叔丁醇／10％蔗糖／水三元溶液的临界复温速率为250℃／min左右。